IBM INFOPRINT 32 Druckerzubehör Handbücher, Guides von Benutzern und andere Dokumente